On Elementary Equivalence, Isomorphism and Isogeny of Arithmetic Function Fields

Motivated by recent work of Florian Pop, we study the connections between three notions of equivalence of function fields: isomorphism, elementary equivalence, and the condition that each of a pair of fields can be embedded in the other, which we call isogeny. Some of our results are purely geometric: we give an isogeny classification of Severi-Brauer varieties and quadric surfaces. These results are applied to deduce new instances of “elementary equivalence implies isomorphism”: for all genus zero curves over a number field, and for certain genus one curves over a number field, including some which are not elliptic curves. Notation: For a field k, k denotes a fixed choice of separable algebraic closure of k and gk denotes the absolute Galois group of k.